Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
311	Where did I go wrong? Explaining errors in business process models Niels Lohmann Universität Rostock, Institut für Informatik, 18051 Rostock, Germany [removed] Abstract. Business process modeling is Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-03-27 03:32:37 Petri net Management Formal methods Model checking Workflow Process calculus Science TAPAAL Model Checker Concurrency Models of computation Diagrams
312	Internal behavior reduction for partner synthesis Niels Lohmann Universität Rostock, Institut für Informatik,  Rostock, Germany [removed] Abstract. Communication is a unique feature o Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2011-02-12 05:16:30 Applied mathematics Concurrency Diagrams Petri net Business Process Execution Language Model checking Redox Reduction Theoretical computer science Models of computation Process management
313	Modelling architectural decisions under changing requirements Marcin Szlenk, Andrzej Zalewski and Szymon Kijas {m.szlenk,a.zalewski,s.kijas}@elka.pw.edu.pl Institute of Control & Computation Engineering Warsaw University Add to Reading List Source URL: wicsa2012.soberit.hut.fi Language: English - Date: 2012-11-29 11:36:04 Economic model Zalewski Model Epistemology Ethology Thought Interpretation Scientific modelling Requirement
314	A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation Kun Zhang Jonathan Sprinkle Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2014-10-10 07:33:46 Model checkers Automata theory Digital electronics Models of computation Formal methods Finite-state machine Promela Model checking Formal verification Electronic engineering Theoretical computer science Design
315	The Necessity of Post-construction Management for Complex Systems Bruce Edmonds Centre for Policy Modelling, Manchester Metropolitan University Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2010-04-22 06:09:01 Economic model Edmonds Computability theory Theory of computation Halting problem
316	Available online at www.prace-ri.eu Partnership for Advanced Computing in Europe SHAPE Pilot Albatern: Numerical Simulation of Extremely Large Interconnected Wavenet Arrays Add to Reading List Source URL: www.prace-ri.eu Language: English - Date: 2014-07-24 04:53:01 Mathematics Portable Extensible Toolkit for Scientific Computation Multibody system MEMO Model EPCC MATLAB Numerical linear algebra Software Science
317	Action Selection and Individuation in Agent Based Modelling Joanna J. Bryson University of Bath Department of Computer Science Artificial models of natural Intelligence (AmonI) Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2004-04-26 12:17:49 Simulation Multi-agent systems Ethology Artificial intelligence Reactive planning Action selection Agent-based model Finite-state machine Social simulation Science Models of computation Scientific modeling
318	An Experimental Evaluation of Algorithms for Computation of Internal Don’t-Cares in Boolean Networks Alan Mishchenko Department of Electrical and Computer Engineering Portland State University September 28, 2001 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-10-20 03:32:06 Binary decision diagram Boolean algebra Diagrams Model checking Algorithm Circuit Boolean network Digital electronics Design Mathematics Theoretical computer science Applied mathematics
319	SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko and Robert K. Brayton Department of EECS University of California, Berkeley {alanmi, brayton}@eecs.berkeley.edu Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-12-03 17:46:16 Boolean algebra Electronic design automation Formal methods Bioinformatics Boolean network Logic Boolean satisfiability problem Circuit Model checking Theoretical computer science Applied mathematics Mathematics
320	SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko Department of EECS University of California, Berkeley [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-04-30 02:47:03 Boolean algebra Computing Formal methods Electronic design automation Boolean satisfiability problem Boolean network Model checking Canonical form Lookup table Theoretical computer science Logic Mathematics